$\forall$$T$:Type, ${\it as}$, ${\it bs}$:$T$ List. ${\it as}$ $\parallel$ ${\it bs}$ $\Leftrightarrow$ ${\it bs}$ $\parallel$ ${\it as}$